#include "asm/mach/arch.h"
#include "linux/common.h"
#include "linux/interrupt.h"